(= (+ 7i32 (- 7i32)) 0i32)
